Feeds to Scour
SubscribedAll
Scoured 7673 posts in 48.3 ms
Multi-Modal Program Verification in Velvet
proofsandintuitions.net·1d·
Discuss: Hacker News
🔗Dependent Types
Preview
Report Post
The Cost of Convenience: Identifying, Analyzing, and Mitigating Predatory Loan Applications on Android
arxiv.org·20h
🛡️Privacy Engineering
Preview
Report Post
#1 - Spot Problems Before Reading Any Code
dev.to·5h·
Discuss: DEV
🔍Static Analysis
Preview
Report Post
understanding LSM trees via read, write, and space amplification
bitsxpages.com·2h
🧠Memory Models
Preview
Report Post
Complexity of ArenaAllocator
ziggit.dev·1d
⚡Incremental Computation
Preview
Report Post
Stop Overusing Interfaces (2017)
blog.hovland.xyz·10h·
Discuss: Hacker News
λFunctional Programming
Preview
Report Post
How to find things (an intro to binary search)
drmaciver.substack.com·2d·
Discuss: Substack
🌳B-Trees
Preview
Report Post
Without benchmarking LLMs, you're likely overpaying 5-10x
karllorey.com·1d·
Discuss: Hacker News
💻Local LLMs
Preview
Report Post
Understanding C++ Ownership System
blog.aiono.dev·2d·
Discuss: Lobsters, Hacker News
⚠️Unsafe Rust
Preview
Report Post
Verifying First-Order Temporal Properties of Infinite-State Systems via Timers and Rankings
arxiv.org·20h
⚙️Concurrency Models
Preview
Report Post
Getting Rounding Right in DeFi
seceureka.com·13h·
Discuss: Hacker News
🔓Binary Exploitation
Preview
Report Post
I built a tool that checks invoices against your contracts automatically
concilely.com·2d·
Discuss: Hacker News, r/SideProject
🤖AI Coding Tools
Preview
Report Post
Graph-based refactor analysis for Go projects , Arbor v1.4
reddit.com·15h·
Discuss: r/golang
🔍Static Analysis
Preview
Report Post
Tips for Using GitHub Copilot's Agent Mode
incrementsofincrements.bearblog.dev·8h
🤖AI agents
Preview
Report Post
Heaps do lie: debugging a memory leak in vLLM.
mistral.ai·9h·
Discuss: Hacker News
🧠Memory Models
Preview
Report Post
Implementing Dino from Scratch
logits.bearblog.dev·19h·
Discuss: Hacker News
🔍Reverse Engineering
Preview
Report Post
Ensure correctness by changing when the first failure occurs
doliver.org·2d·
Discuss: Hacker News
🔍Static Analysis
Preview
Report Post
Making an LSP for great good
thunderseethe.dev·1d·
Discuss: Lobsters, Hacker News
🔍Query Compilers
Preview
Report Post
Kafka Dead Letter Queue Triage: Debugging 25,000 Failed Messages
skey.uk·7h·
Discuss: Hacker News
📬Apache Kafka
Preview
Report Post
Show HN: Link Graph Analysis Tool for Osint Analysts with 70 Transforms
webvetted.com·12h·
Discuss: Hacker News
🔍Reverse Engineering
Preview
Report Post

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help